University of Washington

Results: 13635



#Item
211

Bootstrapping Semantic Parsers from Conversations Yoav Artzi and Luke Zettlemoyer Computer Science & Engineering University of Washington Seattle, WA 98195 {yoav,lsz}@cs.washington.edu

Add to Reading List

Source URL: yoavartzi.com

- Date: 2018-04-02 13:13:18
    212

    COVER FEATURE BLOCKCHAIN TECHNOLOGY IN FINANCE The Evolution of Bitcoin Hardware Michael Bedford Taylor, University of Washington

    Add to Reading List

    Source URL: cseweb.ucsd.edu

    - Date: 2017-09-30 18:59:03
      213

      A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu

      Add to Reading List

      Source URL: www.ericbutler.net

      - Date: 2016-04-26 20:31:32
        214

        Sample Syllabus Language for Faculty University of Mary Washington faculty are committed to supporting students and upholding the University’s Policy on Sexual and

        Add to Reading List

        Source URL: diversity.umw.edu

        - Date: 2018-03-30 10:28:55
          215

          Efficiency of inner-outer algorithms at scale Dmitriy Drusvyatskiy Mathematics, University of Washington Joint work with Aravkin (UW), Harchaoui (UW), Lewis (Cornell),

          Add to Reading List

          Source URL: ljk.imag.fr

          - Date: 2017-04-20 06:35:15
            216

            Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

            Add to Reading List

            Source URL: homes.cs.washington.edu

            - Date: 2017-06-23 18:20:17
              217

              Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo

              Add to Reading List

              Source URL: locore.cs.washington.edu

              - Date: 2017-10-04 19:15:09
                218

                Refinement Types for Ruby Milod Kazerounian1 , Niki Vazou1 , Austin Bourgerie1 , Jeffrey S. Foster1 , and Emina Torlak2 1 University of Maryland, College Park, USA

                Add to Reading List

                Source URL: homes.cs.washington.edu

                - Date: 2017-12-12 13:01:34
                  219

                  A Framework for Computer-Aided Design of Educational Domain Models Eric Butler, Emina Torlak, and Zoran Popovi´c University of Washington {edbutler,emina,zoran}@cs.washington.edu

                  Add to Reading List

                  Source URL: homes.cs.washington.edu

                  - Date: 2017-12-12 13:01:34
                    220

                    MARI OSTENDORF Professor Department of Electrical Engineering University of Washington Box, Seattle, WA

                    Add to Reading List

                    Source URL: ssli.ee.washington.edu

                    - Date: 2016-04-24 16:52:59
                      UPDATE